Troelstra A.S.: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (30)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Basic Proof Theory

Basic Proof Theory

Cambridge University Press

A. S. Troelstra, H. Schwichtenberg

Рік:

2000

Мова:

english

Файл:

PDF, 6.14 MB

5.0 / 0

english, 2000

2

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

Elsevier Science

A. S. Troelstra and D. van Dalen

Рік:

1988

Мова:

english

Файл:

PDF, 6.83 MB

0 / 0

english, 1988

3

Basic Proof Theory

Basic Proof Theory

Cambridge University Press

A. S. Troelstra, H. Schwichtenberg

Рік:

1996

Мова:

english

Файл:

DJVU, 4.79 MB

0 / 0

english, 1996

4

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

Рік:

1987

Мова:

english

Файл:

PDF, 15.16 MB

0 / 0

english, 1987

5

Lectures on Linear Logic

Lectures on Linear Logic

Center for the Study of Language and Inf

A. S. Troelstra

Рік:

1992

Мова:

english

Файл:

PDF, 5.72 MB

0 / 0

english, 1992

6

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

Anne S. Troelstra, Dirk van Dalen

Рік:

1988

Мова:

english

Файл:

DJVU, 2.06 MB

0 / 0

english, 1988

7

Principles of Intuitionism

Principles of Intuitionism

Рік:

1969

Мова:

english

Файл:

PDF, 3.91 MB

0 / 0

english, 1969

8

Choice Sequences: A Chapter of Intuitionistic Mathematics

Choice Sequences: A Chapter of Intuitionistic Mathematics

Oxford University Press, USA

A. S. Troelstra

Рік:

1977

Мова:

english

Файл:

DJVU, 1.54 MB

0 / 0

english, 1977

9

Model Theory

Model Theory

Chang C.C., Keisler H.J., Troelstra A.S.

Рік:

1990

Мова:

english

Файл:

DJVU, 5.21 MB

0 / 0

english, 1990

10

L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings

Elsevier Science Ltd

A.S. Troelstra, D.van Dalen, D. Van Dalen

Рік:

1982

Мова:

english

Файл:

PDF, 6.79 MB

0 / 0

english, 1982

11

History of Constructivism in the 20th Century

History of Constructivism in the 20th Century

Мова:

english

Файл:

PDF, 342 KB

0 / 0

english

12

Basic proof theory

Basic proof theory

Cambridge University Press

A S Troelstra, Helmut Schwichtenberg

Рік:

2000

Мова:

english

Файл:

DJVU, 3.32 MB

0 / 0

english, 2000

13

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

Elsevier Science Ltd

A.S. Troelstra and D. van Dalen (Eds.)

Рік:

1982

Мова:

english

Файл:

PDF, 6.00 MB

0 / 0

english, 1982

14

Choice sequences: a chapter of intuitionistic mathematics

Choice sequences: a chapter of intuitionistic mathematics

Oxford University Press, Clarendon Press

Рік:

1977

Мова:

english

Файл:

DJVU, 1.18 MB

0 / 0

english, 1977

15

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Anne S. Troelstra

Рік:

1969

Мова:

english

Файл:

DJVU, 705 KB

0 / 0

english, 1969

16

Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

Рік:

1966

Мова:

english

Файл:

PDF, 5.11 MB

0 / 0

english, 1966

17

Lectures on Linear Logic

Lectures on Linear Logic

CSLI Publications

A. S. Troelstra

Рік:

1992

Мова:

english

Файл:

DJVU, 12.62 MB

0 / 0

english, 1992

18

Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

Рік:

1966

Мова:

english

Файл:

DJVU, 2.94 MB

0 / 0

english, 1966

19

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Elsevier Science Ltd

A.S. Troelstra, D.van Dalen

Рік:

1982

Мова:

english

Файл:

DJVU, 3.43 MB

0 / 0

english, 1982

20

Lectures on linear logic

Lectures on linear logic

CSLI Publications

Рік:

1992

Мова:

english

Файл:

DJVU, 1.51 MB

0 / 0

english, 1992

21

Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

Springer Netherlands

F. A. Hommes (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)

Рік:

1971

Мова:

english

Файл:

PDF, 13.56 MB

0 / 0

english, 1971

22

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Springer Netherlands

John W. Reynolds (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)

Рік:

1968

Мова:

english

Файл:

PDF, 11.89 MB

0 / 0

english, 1968

23

Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science

S. ABRAMSKY, S. ARTEMOV, J. BARWISE, H.J. KEISLER, A.S. TROELSTRA

Мова:

english

Файл:

PDF, 45.56 MB

0 / 5.0

english

24

Bibliography of Natural History Travel Narratives

Bibliography of Natural History Travel Narratives

Anne S. Troelstra

Рік:

2016

Мова:

english

Файл:

PDF, 3.67 MB

0 / 5.0

english, 2016

25

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

Anne S. Troelstra, Dirk van Dalen

Рік:

1988

Мова:

english

Файл:

PDF, 29.70 MB

0 / 0

english, 1988

26

Mathematical Logic

Mathematical Logic

A. S. Troelstra (auth.), Petio Petrov Petkov (eds.)

Рік:

1990

Мова:

english

Файл:

PDF, 34.28 MB

0 / 0

english, 1990

27

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Рік:

1973

Мова:

english

Файл:

PDF, 22.34 MB

0 / 0

english, 1973

28

Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

A. S. Troelstra

Рік:

1969

Мова:

english

Файл:

PDF, 3.95 MB

0 / 0

english, 1969

29

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Springer-Verlag Berlin Heidelberg

A. S. Troelstra (eds.)

Рік:

1973

Мова:

english

Файл:

PDF, 21.39 MB

0 / 0

english, 1973

30

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra

Рік:

1973

Мова:

english

Файл:

DJVU, 2.77 MB

0 / 0

english, 1973